341. Sheaves of algebras over boolean spaces

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Algebra, Boolean,، Sheaf theory

رده :
QA
10
.
3
.
K635
2012

342. Sheaves of algebras over boolean spaces /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra, Boolean.,Sheaf theory.

رده :
QA10
.
3
.
K56
2012eb

343. Sheaves of algebras over boolean spaces

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Algebra, Boolean,Sheaf theory

رده :
E-BOOK

344. Sheaves of algebras over boolean spaces

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Algebra, Boolean,، Sheaf theory

رده :
QA
10
.
3
.
K66S5

345. Simplified independence proofs

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra, Boolean.,Independence (Mathematics),Set theory.

346. Simplified independence proofs; Boolean valued models of set theory

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Independence )Mathematics(,، Algebra, Boolean,، Set theory

رده :
QA
3
.
P8
vol
.
31

347. Simplified independence proofs; Boolean valued models of set theroy

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Algebra, Boolean

رده :
511
.
32
Ro-S

348. Special groups: boolean-theoretic methods in the theory of quadratic forms

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Forms, Quadratic,، Algebra, Boolean

رده :
QA
3
.
A475
no
.
689

349. Statistics of the boolean model for Practitioners and mathematicians

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Algebra,Boolean

رده :
‭
QA10
.
3
‬ ‭.
M65
1997
‬

350. Statistics of the boolean model for practitioners & mathematicians

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)

موضوع : ، Algebra, Boolean

رده :
QA
10
.
3
.
M6
S7

351. Stone spaces

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Algebra, Boolean,، Representations of algebras,، Topology,، Algebra,، Functional analysis

رده :
QA
10
.
3
.
J64
1982

352. Stone spaces /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra,Algebra, Boolean,Functional analysis,Representations of algebras,Topology

رده :
QA10
.
3
.
J63
1982

353. Stone spaces

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Algebra, Boolean,، Representations of algebras,، Topology,، Algebra,، Functional analysis

رده :
QA
10
.
3
.
J63
1982

354. Structures ordonnees et algebres de boole

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Algebra, Abstract,، Algebra, Boolean

رده :
QA
162
.
F38
1971

355. Switching Machines :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.

رده :
QA267
.
5
.
S4
B957
1972

356. Switching theory for logic synthesis.

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

رده :
TK7868
.
L6
T788
2012

357. Techniques booleennes et calculateurs arithmetique

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Switching theory,، Sequential machine theory,، Algebra, Boolean

رده :
QA
401
.
C52

358. Techniques booleennes et calculateurs arithmetiques

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع : Switching theory,Sequential theory,Algebra, Boolean

رده :
QA401
.
C52

359. Test pattern generation using Boolean proof engines

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Integrated circuits ; Verification. ; Automatic test pattern generation. ; Automatic test equipment. ; Computer algorithms. ; Algebra, Boolean. ; ATPG. ; swd. ; Hardwareverifikation. ; swd. ; Integrierte Schaltung. ; swd. ;

360. The Art of the Intelligible :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra.,Geometry.,Logic, Symbolic and mathematical.,Philosophy (General),Science-- Philosophy.,Algebra.,Geometry.,Logic, Symbolic and mathematical.,Science-- Philosophy.

رده :
B67